Behavioural types for non-uniform memory accesses

Concurrent programs executing on NUMA architectures consist of concurrent entities (e.g. threads, actors) and data placed on different nodes. Execution of these concurrent entities often reads or updates states from remote nodes. The performance of such systems depends on the extent to which the concurrent entities can be executing in parallel, and on the amount of the remote reads and writes. We consider an actor-based object oriented language, and propose a type system which expresses the topology of the program (the placement of the actors and data on the nodes), and an effect system which characterises remote reads and writes (in terms of which node reads/writes from which other nodes). We use a variant of ownership types for the topology, and a combination of behavioural and ownership types for the effect system.Comment: In Proceedings PLACES 2015, arXiv:1602.0325

El video digital en entornos educativos para la enseñanza y aprendizaje de ética en el grado noveno del Instituto Lestonnac

El proyecto pedagógico mediatizado realizado nace de la necesidad del ejercicio de nuevos entornos educativos en el aula, que tomen al contexto de los participantes como elemento inicial para elaborar el trabajo a devenir. Se evidencia la cercanía de la sociedad actual con las tecnologías de la información y la comunicación y se elige el video digital como formato audiovisual, para mediar el proceso educativo para la clase de Ética en el grado noveno del Instituto Lestonnac. La estructura de la secuencia didáctica tiene en cuenta cada práctica a ejecutar por parte del estudiante para la elección de las metodologías y modelos pedagógicos pertinentes, es por eso que las clases están divididas en las etapas de pre-producción y producción del video digital, partiendo de la idea o concepto por parte de cada estudiante y culminando con la edición digital y socialización videográfica

Narrativa hipermedia en los diarios brasileños Folha y Estadão: un estudio comparativo

El presente estudio consiste en un análisis comparativo entre los reportajes especiales Floresta sem fim. Como salvar a natureza no Brasil e o clima na Terra y O Kirchnerismo na Argentina, realizados respectivamente por los cibermedios periodísticos brasileños Folha y Estadão en el año 2015. Como objetivo principal, se plantea identificar los recursos empleados por los medios en la elaboración de las narrativas hipermedia seleccionadas, destacando el nivel de interactividad con los usuarios en cada una de ellas. Los resultados revelan, en ambos casos, una tendencia a la linealidad textual debido a la escasez de hipervínculos en el cuerpo del texto y unas posibilidades limitadas de interactividad. No obstante, se observa un empleo diferenciado, por parte de los periódicos en cuestión, de los distintos recursos técnicos y periodísticos en la presentación de los datos a la audiencia

Fusiones y adquisiciones como estrategia de crecimiento en el sector financiero colombiano

El sector financiero colombiano ha venido consolidándose a un ritmo acelerado desde la década de los noventa; esta tendencia se debe a la eliminación de ciertas barreras de ingreso, tales como la restricción de capitales extranjeros, las políticas de encaje bancario y, en general, a medidas proteccionistas implementadas por el Gobierno Nacional para proteger a los inversionistas locales y evitar fugas de capitales al extranjero -- Esta situación forzó a las entidades financieras locales a buscar eficiencias, no solo operativas sino también estructurales, dado que se pasó de una búsqueda continua del incremento de ganancias por medio de coberturas (más clientes sin diversificar el portafolio) a la de incremento de ingresos a través de una propuesta de valor integradora, que no solo cubre un segmento, sino un conjunto de sectores que demandaban productos renovados que apoyaran el crecimiento económico de las diferentes ramas de la sociedad, pero el reto no se queda allí, dado el ingreso al país de estructuras financieras con trayectoria y una operación más eficiente que las operaciones locales; este crecimiento estuvo acompañado de reducción en costos y gastos; es allí donde la simplificación de las estructuras organizacionales, la integración de procesos y plataformas tecnológicas juegan un papel fundamental, dado que permiten aumentar el poder de mercado y realizar un aprovechamiento de las economías de escala, entre otros aspectos -- Por ello, la presente investigación analiza las razones por las cuales las entidades financieras se han fusionado en Colombia, no solo como consecuencia de la crisis económica que se dio en la década de los ochenta sino también como una herramienta de choque ante los cambios de la economía global que obligo a los capitales locales a reagruparse para afrontar la apertura económica mundial -- El análisis se realizó mediante un modelo econométrico en el cual se determina el impacto que tienen las fusiones bancarias sobre el crecimiento del sector financiero -- Se evidencia que existe una relación positiva entre las variables escogidas en el modelo, lo que permite explicar un impacto positivo en el índice de profundización financiera cuando se presenta una fusión en el secto

Formulación del sistema de información de gestión integral de residuos o desechos peligrosos para el Departamento de Risaralda

El presente trabajo de grado propone la Formulación del Sistema de Información de Gestión Integral de Residuos o Desechos Peligrosos (SI GIRESPEL) del Departamento de Risaralda, como respuesta a la necesidad de una herramienta que facilite la tarea de Seguimiento y Control que debe ejercer la autoridad ambiental sobre la generación de residuos o desechos peligrosos en el territorio bajo su jurisdicción. El documento consta de una descripción general del SI GIRESPEL Risaralda, su función y sus características generales donde se da detalle a cada parámetro y función; Seguido se dan unas conclusiones y recomendaciones a la Gestión Integral de Residuos o desechos peligrosos en el Departamento de Risaralda, dadas a partir de la experiencia adquirida durante el desarrollo del presente proyecto de grado. Finalmente se presenta el Tutorial de Manejo del SI GIRESPEL que ilustra de manera detallada los pasos a seguir para el para utilizar el Sistema de forma adecuada.This degree work proposes the formulation of Information System for the Integrated Management of Hazardous Waste of Risaralda (SI GIRESPEL) as a response to the need of a tool that facilitates the tasks of monitoring and control that it has to be done by the environmental authority on the generation of hazardous waste on its territory in jurisdiction. The document consists of a general description about the SI GIRESPEL, where all its characteristics and functions are described in detail. Following there are some conclusions and recommendations about the integrated management of hazardous waste in Risaralda since the experience gained through the development of this work grade. At the end of the document a Manual will describe in a detail way all the steps required to modify the System

The distributed performance of artefactual representation by mobile video in Brazil

During 2013, between June 18 and September 7, the demonstrations in Brazil, (nicknamed June Journeys), comprised successive massive street demonstrations across the country. Their immediate cause is usually taken to be the increased cost of public transportation fares. As the usually harsh repression of street demonstrations by military police spilled over some journalists, the protests of Movimento Passe Livre (Free Pass Movement), originally mobilized through cyber-activist networks gained the massive visibility and sparkled manifestations on a wide range of issues. State’s response to protests was marked by police abuse (Amnesty International, 2014). Notwithstanding this, police repression backfired: at its peak, millions of Brazilians were out in the streets demonstrating dissent on a wide range of issues. The abuses by the security forces spanned from the unnecessary extreme use of force – indiscriminate usage of rubber bullets and tear gas, arbitrary arrests of peaceful protesters (Amnesty International, 2014) to press releasing of ungrounded allegations of vandalism

Fatores que interferem no processo de adesão ao tratamento pelo paciente

Introdução: No atendimento de pacientes, em nível ambulatorial, observa-se que a adesão ao tratamento de saúde depende de múltiplos fatores, individuais, socioeconômicos, culturais, dentre outros. Objetivo: Buscar na literatura o conhecimento dos fatores envolvidos na adesão do paciente ao tratamento de saúde. Métodos: Revisão Integrativa baseada nos passos metodológicos propostos por Mendes, Silveira e Galvão (2008). Resultados: Foram incluídos nesta revisão integrativa 12 artigos que atenderam aos critérios propostos. As evidências mostraram que a questão socioeconômica e o perfil populacional são fatores que influenciam na adesão, bem como à tomada de medicações, conhecimento sobre o tratamento medicamentoso, percepção do indivíduo sobre sua vida e a personalização do tratamento ajustando as intervenções ao paciente. Conclusão: Ainda não é possível prever um padrão de paciente aderente ao tratamento porque essa questão é influenciada por multifatores. Sugerem-se novos estudos para delinear com maior exatidão o perfil de indivíduos aderentes ao tratamento de saúde e outros com ênfase na atuação da equipe de enfermagem na adesão ao tratamento

Diferenças em características morfológicas e fisiológicas foliares entre Tabebuia aurea e T. impetiginosa estão relacionadas aos seus ambientes típicos de ocorrência

Tabebuia é um gênero representativo do bioma Cerrado, ocorrendo em formações savânicas e florestais, que diferem em termos de microclima, disponibilidade hídrica e propriedades do solo. Neste trabalho foi realizado um estudo comparativo de parâmetros morfológicos e fisiológicos entre duas espécies, sendo Tabebuia aurea (Silva Manso) Benth. & Hook. f. ex S. Moore típica de ambientes savânicos, como o cerrado sensu stricto, enquanto T. impetiginosa (Mart. Ex DC.) Standl é tipicamente encontrada nas matas de galeria, que margeiam os cursos de água. As duas espécies foram amostradas em ambientes savânicos, expostas a condições semelhantes de alta luminosidade. A espécie savânica apresentou maiores valores de espessura foliar, massa foliar específica, espessura do pecíolo, assimilação máxima de CO2, condutância estomática, transpiração e concentração foliar de carotenóides. A espécie de mata destacou-se pelos maiores valores de área foliar específica, comprimento do pecíolo e de assimilação de CO2 em base de massa, parâmetros que contribuem para maior taxa de crescimento e de tolerância ao sombreamento. Esta distinção funcional entre as duas espécies em vários atributos foliares, mesmo quando situadas num mesmo tipo de ambiente, pode ser o resultado da história evolutiva dessas espécies em resposta às diferentes pressões seletivas nos ambientes típicos de ocorrência.The genus Tabebuia is representative of the Cerrado biome, occurring in savanna and forest formations. These vegetation types are associated with distinct environmental conditions in terms of water availability, microclimate and soil properties. We compared morphological and physiological traits between Tabebuia aurea (Silva Manso) Benth. & Hook. f. ex S. Moore, which is typical of the savanna vegetation, and T. impet iginosa (Mart. ex DC.) Standl, which is commonly found in the gallery forests that occur along streams and rivers. Both were sampled in savanna conditions under full sun. The savanna species had higher values of leaf and petiole thickness, specific leaf mass, maximum CO2 assimilation on a leaf area basis, stomatal conductance, transpiration and in leaf concentration of carotenoids. The forest species stood out by higher values of specific leaf area, petiole length and of CO2 assimilation on a mass basis, parameters related to shade tolerance and higher growth rates. This functional distinction in a range of leaf traits that was maintained when both were naturally growing under similar environmental conditions, suggests that these are probably the result of differences in the evolutionary history of the two species in response to the contrasting environmental conditions in the typical habitats where they occur